González Harbour, Michael: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2006 Volume 4006 || One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code

Pinho, Luís Miguel, González Harbour, Michael

Year:

2006

Language:

english

File:

PDF, 441 KB

english, 2006

2

Early Experience with an Implementation of the POSIX.13 Minimal Real-Time Operating System for Embedded Applications

Rivas, Mario Aldea, Harbour, Michael González

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.59 MB

english, 2000

3

[ACM Press the 13th International Workshop - Paris, France (2015.10.07-2015.10.08)] Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '15 - CPU Isolation on the Android OS for running Real-Time Applications

Ruiz, Alejandro Pérez, Rivas, Mario Aldea, Harbour, Michael González

Year:

2015

Language:

english

File:

PDF, 510 KB

english, 2015

4

Response-Time Analysis of Multipath Flows in Hierarchically-Scheduled Time-Partitioned Distributed Real-Time Systems

Amurrio, Andoni, Azketa, Ekain, Gutierrez, J. Javier, Aldea, Mario, Harbour, Michael Gonzalez

Journal:

Year:

2020

File:

PDF, 1.75 MB

2020

5

Holistic schedulability analysis for multipacket messages in AFDX networks

Gutiérrez, J. Javier, Palencia, J. Carlos, González Harbour, Michael

Journal:

Real-Time Systems

Year:

2014

Language:

english

File:

PDF, 1.50 MB

english, 2014

6

[ACM Press the 12th international workshop - Viana do Castelo, Portugal (2003.09.15-2003.09.19)] Proceedings of the 12th international workshop on Real-time Ada - IRTAW '03 - Report of session

Gonzalez-Harbour, Michael, Vardanega, Tullio

Year:

2003

Language:

english

File:

PDF, 207 KB

english, 2003

7

Modeling distributed real-time systems with MAST 2

González Harbour, Michael, Gutiérrez, J. Javier, Drake, José M., López Martínez, Patricia, Palencia, J. Carlos

Journal:

Journal of Systems Architecture

Year:

2013

Language:

english

File:

PDF, 2.09 MB

english, 2013

8

A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing

Burns, Alan, Gutierrez, Marina, Aldea Rivas, Mario, Gonzalez Harbour, Michael

Journal:

IEEE Transactions on Computers

Year:

2015

Language:

english

File:

PDF, 386 KB

english, 2015

9

Operating System Support for Embedded Real-Time Applications

Crespo, Alfons, Ripoll, Ismael, González-Harbour, Michael, Lipari, Giuseppe

Journal:

EURASIP Journal on Embedded Systems

Year:

2007

Language:

english

File:

PDF, 120 KB

english, 2007

10

Adapting the end-to-end flow model for distributed Ada to the ravenscar profile

Tijero, Héctor Pérez, Gutiérrez, J. Javier, Harbour, Michael González

Journal:

ACM SIGAda Ada Letters

Year:

2013

Language:

english

File:

PDF, 153 KB

english, 2013

11

[Lecture Notes in Computer Science] Reliable Software Technologies — Ada-Europe’ 99 Volume 1622 || Fault Tolerance by Transparent Replication for Distributed Ada 95

González Harbour, Michael, de la Puente, Juan A.

Year:

1999

Language:

english

File:

PDF, 108 KB

english, 1999

12

Influence of different abstractions on the performance analysis of distributed hard real-time systems

Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour

Journal:

Design Automation for Embedded Systems

Year:

2009

Language:

english

File:

PDF, 1.21 MB

english, 2009

13

Guest Editorial: special issue on the Euromicro Conference on Real-Time Systems (ECRTS 2007)

Michael González Harbour

Journal:

Real-Time Systems

Year:

2008

Language:

english

File:

PDF, 88 KB

english, 2008

14

Modelling real-time applications based on resource reservations

Barros, Laura, López Martínez, Patricia, Cuevas, César, Drake, José María, González Harbour, Michael

Journal:

Journal of Systems Architecture

Year:

2013

Language:

english

File:

PDF, 2.92 MB

english, 2013

15

A supercomputing framework for the evaluation of real-time analysis and optimization techniques

Rivas, Juan M., Gutiérrez, J. Javier, González Harbour, Michael

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 3.94 MB

english, 2017

16

Deadline Assignment in EDF Schedulers for Real-Time Distributed Systems

Rivas, Juan, Gutierrez, J. Javier, Palencia, J. Carlos, Gonzalez Harbour, Michael

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2014

Language:

english

File:

PDF, 466 KB

english, 2014

17

Introduction

Harbour, Michael González, Gutiérrez, J. Javier

Journal:

ACM SIGAda Ada Letters

Year:

2007

Language:

english

File:

PDF, 348 KB

english, 2007

18

Minimizing the effects of jitter in distributed hard real-time systems

José Javier Gutiérrez García, Michael González Harbour

Journal:

Journal of Systems Architecture

Year:

1996

Language:

english

File:

PDF, 1.46 MB

english, 1996

19

On the convergence of the holistic analysis for EDF distributed systems

Díaz-de-Cerio, Unai, Uribe, Juan P., González Harbour, Michael, Palencia, J. Carlos

Journal:

Journal of Systems Architecture

Year:

2015

Language:

english

File:

PDF, 1.17 MB

english, 2015

20

Guest Editorial: Special Issue on The Real-Time Systems Symposium

González Harbour, Michael, Buttazzo, Giorgo C.

Journal:

Real-Time Systems

Year:

2015

Language:

english

File:

PDF, 287 KB

english, 2015

21

Report of session

Gonzalez-Harbour, Michael, Vardanega, Tullio

Journal:

ACM SIGAda Ada Letters

Year:

2003

Language:

english

File:

PDF, 207 KB

english, 2003

22

Non-Blocking Synchronization Between Real-Time and Non-Real-Time Applications

Ruiz, Alejandro Perez, Rivas, Mario Aldea, Harbour, Michael Gonzalez

Journal:

Year:

2020

File:

PDF, 2.61 MB

2020

23

Managing multiple execution-time timers from a single task

Harbour, Michael González, Rivas, Mario Aldea

Journal:

ACM SIGAda Ada Letters

Year:

2003

Language:

english

File:

PDF, 356 KB

english, 2003

24

Application-defined scheduling in Ada

Rivas, Mario Aldea, Harbour, Michael González

Journal:

ACM SIGAda Ada Letters

Year:

2003

Language:

english

File:

PDF, 975 KB

english, 2003

25

[IEEE 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Krakow, Poland (2012.09.17-2012.09.21)] Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Schedulability analysis of multi-packet messages in segmented CAN

Azketa, Ekain, Gutierrez, J. Javier, Palencia, J. Carlos, Harbour, Michael Gonzalez, Almeida, Luis, Marcos, Marga

Year:

2012

Language:

english

File:

PDF, 673 KB

english, 2012

26

Fixed priorities or EDF for distributed real-time systems?

Rivas, Juan M., Gutiérrez, J. Javier, Harbour, Michael González

Journal:

ACM SIGBED Review

Year:

2013

Language:

english

File:

PDF, 565 KB

english, 2013

27

Operating system support for execution time budgets for thread groups

Rivas, Mario Aldea, Harbour, Michael González

Journal:

ACM SIGAda Ada Letters

Year:

2007

Language:

english

File:

PDF, 409 KB

english, 2007

28

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2006 Volume 4006 || Adaptive Random Testing Through Iterative Partitioning

Pinho, Luís Miguel, González Harbour, Michael

Year:

2006

Language:

english

File:

PDF, 256 KB

english, 2006

29

Support for a real-time transactional model in distributed Ada

Tijero, Héctor Pérez, Gutiérrez, J. Javier, Harbour, Michael González

Journal:

ACM SIGAda Ada Letters

Year:

2010

Language:

english

File:

PDF, 354 KB

english, 2010

30

[Lecture Notes in Computer Science] Reliable Software Technologies — Ada-Europe’ 99 Volume 1622 || Architectural Frameworks: Defining the Contents of Architectural Descriptions

González Harbour, Michael, de la Puente, Juan A.

Year:

1999

Language:

english

File:

PDF, 98 KB

english, 1999

31

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2006 Volume 4006 || Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems

Pinho, Luís Miguel, González Harbour, Michael

Year:

2006

Language:

english

File:

PDF, 290 KB

english, 2006

32

[IEEE 2013 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Santander, Spain (2013.09.4-2013.09.6)] 2013 39th Euromicro Conference on Software Engineering and Advanced Applications - Framework for the Design of Java Firm Real-time Systems Oriented to the Generation of Timing Behaviour Models

Martinez, Patricia Lopez, Lanza, Jose Maria M., Drake, Jose M., Harbour, Michael Gonzalez

Year:

2013

Language:

english

File:

PDF, 400 KB

english, 2013

33

Incorporating the deadline floor protocol in ada

Aldea, Mario, Burns, Alan, Gutiérrez, Marina, Harbour, Michael González

Journal:

ACM SIGAda Ada Letters

Year:

2013

Language:

english

File:

PDF, 150 KB

english, 2013

34

Distributed Ada and real-time (session summary)

Harbour, Michael Gonzalez

Journal:

ACM SIGAda Ada Letters

Year:

1999

Language:

english

File:

PDF, 357 KB

english, 1999

35

[IEEE 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2010) - Stockholm (2010.04.12-2010.04.15)] 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium - Defects of the POSIX Sporadic Server and How to Correct Them

Stanovich, Mark, Baker, Theodore P, An-I Wang,, Harbour, Michael Gonzalez

Year:

2010

Language:

english

File:

PDF, 394 KB

english, 2010

36

[ACM Press the 22nd International Conference - Versaille, France (2014.10.08-2014.10.10)] Proceedings of the 22nd International Conference on Real-Time Networks and Systems - RTNS '14 - Adding Precedence Relations to the Response-Time Analysis of EDF Distributed Real-Time Systems

Díaz-de-Cerio, Unai, Uribe, Juan P., Harbour, Michael González, Palencia, J. C.

Year:

2014

Language:

english

File:

PDF, 874 KB

english, 2014

37

Presentación de la sección especial sobre sistemas de tiempo real

de la Puente, Juan Antonio, Crespo, Alfons, Harbour, Michael González

Journal:

Revista Iberoamericana de Automática e Informática Industrial RIAI

Year:

2013

Language:

spanish

File:

PDF, 134 KB

spanish, 2013

38

[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - Influence of different system abstractions on the performance analysis of distributed real-time systems

Perathoner, Simon, Wandeler, Ernesto, Thiele, Lothar, Hamann, Arne, Schliecker, Simon, Henia, Rafik, Racu, Razvan, Ernst, Rolf, Harbour, Michael González

Year:

2007

Language:

english

File:

PDF, 331 KB

english, 2007

39

[ACM Press the 12th international workshop - Viana do Castelo, Portugal (2003.09.15-2003.09.19)] Proceedings of the 12th international workshop on Real-time Ada - IRTAW '03 - Application-defined scheduling in Ada

Rivas, Mario Aldea, Harbour, Michael González

Year:

2003

Language:

english

File:

PDF, 975 KB

english, 2003

40

[Lecture Notes in Computer Science] Reliable Software Technologies — Ada-Europe’ 99 Volume 1622 ||

González Harbour, Michael, de la Puente, Juan A.

Year:

1999

Language:

english

File:

PDF, 6.80 MB

english, 1999

41

[ACM Press the 12th international workshop - Viana do Castelo, Portugal (2003.09.15-2003.09.19)] Proceedings of the 12th international workshop on Real-time Ada - IRTAW '03 - Managing multiple execution-time timers from a single task

Harbour, Michael González, Rivas, Mario Aldea

Year:

2003

Language:

english

File:

PDF, 356 KB

english, 2003

42

A Framework for Developing Distributed Hard Real-Time Applications

Javier Gutiérrez García, J., Harbour, Michael González

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.99 MB

english, 2000

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски